|
ACM Symposium on Applied Computing
The ACM Symposium on Applied Computing (SAC) has gathered scientists from different areas of computing over the past twenty-four years. The forum represents an opportunity to interact with different communities sharing an interest in applied computing. Software Verification and Testing Track
The Software Verification and Testing track aims at contributing to the challenge of improving the usability of formal methods in software engineering. We invite authors to submit new results in formal verification and testing, as well as development of technologies to improve the usability of formal methods in practical applications. Also welcome are detailed descriptions of applications of mechanical verification to large scale software. Possible topics include, but are not limited to: - tools and techniques for verification of large scale software systems
- real world applications and case studies applying software verification
- static and run-time analysis
- abstract interpretation
- model checking
- theorem proving
- refinement and correct by construction development
- model-based testing
- verification-based testing
- run-time verification
- symbolic execution and partial evaluation
- analysis methods for dependable systems
- software certification and proof carrying code
March 21, 2013 |
